";
echo "";
echo "«
".
$subsectiontitles[$tab].
" »".
"";
####
if(!$sectionispage[$section]){
echo " ";
####
} else {
echo "
".
$subsectiontitles[$tab].
" ";
}
}
if($subsection!="")
echo " ..↑ ";
echo "";
}else if(!$sectionispage[$section]){
echo "« ".$subsectiontitles[$tab]." »";
echo " ";
} else if (vcs_is_file("content/".$section,$tab.".html")){
echo "« ".$subsectiontitles[$tab]." »";
echo "
";
}
} else {
if(vcs_is_dir("content/".$section,$tab)){
echo " ".$subsectiontitles[$tab]." ";
} else if (vcs_is_file("content/".$section,$tab.".html")){
echo " ".$subsectiontitles[$tab]." ";
}
}
}
echo " ";
}
##########
if($sectiondepth[$section]=="3"){ # && $subsectionentry==false){
echo "
";
}
?>
- ";
$subtablenght = max_lenght($subsectionlist,$subsectiontitles,$pagelist,$pageshorttitles);
//echo "
//
//got max length: //"; //print($subtablenght); //echo " //"; foreach($subsectionlist as $tab){ if($tab == $subsection){ ##gomenulink('nav-".$tab."'); ##onclick=\"javascript:toggle_extramenu();return false;\" echo "
-
";
$subsubtablenght=max_lenght($subsubsectionlist,$subsubsectiontitles,$pagelist,$pageshorttitles);
foreach($subsubsectionlist as $tab){
if($tab == $subsubsection){
if(vcs_is_dir("content/".$section."/".$subsection,$tab)){
echo "
- « ".$subsubsectiontitles[$tab]." »";
echo "
-
";
foreach($pagelist as $p){
if($p == $page){
echo "
- « ".$pageshorttitles[$p]." » "; } else { echo "
- ".$pageshorttitles[$p]." "; } } echo "
";
} else if (vcs_is_file("content/".$section."/".$subsection,$tab.".html")){
echo "
- « ".$subsubsectiontitles[$tab]." »"; echo " "; } } else { if(vcs_is_dir("content/".$section."/".$subsection,$tab)){ echo "
- ".$subsubsectiontitles[$tab]." "; } else if (vcs_is_file("content/".$section."/".$subsection,$tab.".html")){ echo "
- ".$subsubsectiontitles[$tab]." "; } } } echo "
- ";
//echo "
subsectionlist: //"; //print_r($subsectionlist); //echo " //"; $subtablenght=max_lenght($subsectionlist, $subsectiontitles,$pagelist,$pageshorttitles); foreach($subsectionlist as $tab){ if($tab == $subsection){ if(vcs_is_dir("content/".$section,$tab)){ echo "
- ";
foreach($pagelist as $p){
if($p == $page){
echo "
- « ".$pageshorttitles[$p]." » "; } else { echo "
- ".$pageshorttitles[$p]." "; } } echo "